Search Results for "Ohad Kammar. A ProbProg Language Taxonomy."

Ohad Kammar. A ProbProg Language Taxonomy.

Ohad Kammar: An introduction to statistical modelling semantics with higher-order measure theory

Ohad Kammar - Statistical modelling with higher-order measure theory part II - SPLV 2022

Conor McBride - Dependently-Typed Metaprogramming 3/8: Containers and W-Types

Ohad Kammar – Frex: indexing modulo equations with free extensions

Conor McBride - Dependently-Typed Metaprogramming 5/8: Induction-Recursion I

Probabilistic programming for birth-death models of evolution (PROBPROG 2020)

A domain theory for statistical probabilistic programming

HOPE 2014: Graphical Algebraic Foundations for Monad Stacks - Ohad Kammar

Frex: Free Extensions for Normalization-by-Evaluation

Taxonomy of Swearing

2 05 Practical Probabilistic Programming with Monads